(GPL): Replace license with GPLv3.
authorGlenn Morris <rgm@gnu.org>
Wed, 25 Jul 2007 08:15:27 +0000 (08:15 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 25 Jul 2007 08:15:27 +0000 (08:15 +0000)
commit1040e275776cf65fa6ff2862a9879d5555fa7ae1
tree0454dbcee9865fad71c0dfdfedd918e6aa835138
parent7b3cb434ec4b8e9fc34e7110cbcfa7c00395b66f
(GPL): Replace license with GPLv3.
lispref/gpl.texi